## Cardinal and characteristic of a ring

from PyM import *

show(characteristic(Z_))

show(characteristic(Zn(7)))

show(characteristic(Zn(8)))

show(cardinal(Q_))

show(cardinal(Zn(17)))

show(cardinal(Zn(35)))